-
1 истинное логическое выражение
Makarov: assertionУниверсальный русско-английский словарь > истинное логическое выражение
-
2 логическое выражение
Русско-английский большой базовый словарь > логическое выражение
-
3 булево выражение
1. Booleanбулево выражение, логическое выражение — Boolean expression
2. Boolean connectiveбулева функция; булево выражение; булева связка — Boolean connective
3. Boolean expression4. boolean phraseРусско-английский большой базовый словарь > булево выражение
-
4 assertion
[ə'sɜːʃ(ə)n]1) Общая лексика: притязание, суждение, утверждение, отстаивание, положительное утверждение или декларация, часто без поддержки или причины: простое утверждение2) Техника: установление уровня сигнала3) Математика: высказывание, предложение, тезис, формулировка5) Экономика: заявление (прав, претензий)6) Бухгалтерия: отстаивание (прав)7) Лингвистика: ассерция, констатация8) Психология: уверенность в себе9) Вычислительная техника: оператор контроля, условие11) Аудит: в российских стандартах аудита - предпосылка подготовки финансовой (бухгалтерской) отчетности12) Программирование: факт, добавленный в базу данных (при исполнении программы), (утвердительное) суждение, доказательство существования, оператор подтверждения отсутствия ошибок, подтверждение, постулирование существования, правило, добавленное в базу данных (при исполнении программы)13) Макаров: истинное логическое выражение, логическое выражение, утверждение (суждение)
См. также в других словарях:
Оператор ветвления — (условная инструкция, условный оператор) оператор, конструкция языка программирования, обеспечивающая выполнение определённой команды (набора команд) только при условии истинности некоторого логического выражения, либо выполнение одной из… … Википедия
МЕРА — филос. категория, выражающая диалектич. единство качеств, и количеств. характеристик объекта. Качество любого объекта органически связано с оп редел. количеством. В рамках данной М. количеств. характеристики могут меняться за счёт… … Философская энциклопедия
Цикл (программирование) — У этого термина существуют и другие значения, см. цикл. В данной статье или разделе имеется список источников или внешних … Википедия
Цикл просмотра — Цикл разновидность управляющей конструкции в высокоуровневых языках программирования, предназначенная для организации многократного исполнения набора инструкций. Также циклом может называться любая многократно исполняемая последовательность… … Википедия
Цикл Дейкстры — Цикл разновидность управляющей конструкции в высокоуровневых языках программирования, предназначенная для организации многократного исполнения набора инструкций. Также циклом может называться любая многократно исполняемая последовательность… … Википедия
Цикл foreach — Цикл разновидность управляющей конструкции в высокоуровневых языках программирования, предназначенная для организации многократного исполнения набора инструкций. Также циклом может называться любая многократно исполняемая последовательность… … Википедия
Цикл с постусловием — Цикл разновидность управляющей конструкции в высокоуровневых языках программирования, предназначенная для организации многократного исполнения набора инструкций. Также циклом может называться любая многократно исполняемая последовательность… … Википедия
Цикл с предусловием — Цикл разновидность управляющей конструкции в высокоуровневых языках программирования, предназначенная для организации многократного исполнения набора инструкций. Также циклом может называться любая многократно исполняемая последовательность… … Википедия
Цикл со счетчиком — Цикл разновидность управляющей конструкции в высокоуровневых языках программирования, предназначенная для организации многократного исполнения набора инструкций. Также циклом может называться любая многократно исполняемая последовательность… … Википедия
Циклический алгоритм — Цикл разновидность управляющей конструкции в высокоуровневых языках программирования, предназначенная для организации многократного исполнения набора инструкций. Также циклом может называться любая многократно исполняемая последовательность… … Википедия
Инвариантность — Инвариант термин, используемый в математике и физике, а также в программировании, обозначает нечто неизменяемое. Кроме того, инварианты используются в олимпиадных задачах по математике для школьников. Абстрактная структурная единица языка фонема … Википедия